Works by José Manuel Méndez Rodríguez

( view other items matching `José Manuel Méndez Rodríguez`, view all matches )
7 found
Order:
  1. Lógica intuicionista en tres horas (y pico).Francisco Salto Alemany & José Manuel Méndez Rodríguez - 2001 - Laguna 9:127-150.
    No categories
     
    Export citation  
     
    Bookmark  
  2. Exhaustively axiomatizing RMO with an appropiate extensión of Anderson and Belnap's "strong and natural list of valid entailments".José Manuel Méndez Rodríguez - 1990 - Theoria 5 (12):223-228.
     
    Export citation  
     
    Bookmark  
  3. El sistema Bp+: una lógica positiva mínima para la negación mínima.José Manuel Méndez Rodríguez, Francisco Salto Alemany & Gemma Robles Vázquez - 2007 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 22 (1):81-92.
     
    Export citation  
     
    Bookmark  
  4. Systems with the converse Ackermann property.José Manuel Méndez Rodríguez - 1985 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 1 (1):253-258.
     
    Export citation  
     
    Bookmark  
  5. Two Extensions of Lewis'S3 with Peirce's Law.José Manuel Méndez Rodríguez & Francisco Salto Alemany - 1999 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 14 (3):407-411.
     
    Export citation  
     
    Bookmark  
  6. Two versions of minimal intuitionism with the CAP. A note.José Manuel Méndez Rodríguez & Gemma Robles - 2005 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 20 (2):183-190.
     
    Export citation  
     
    Bookmark  
  7. Two versions of minimal intuitionism with the CAP. A note.José Manuel Méndez Rodríguez & Gemma Robles Vázquez - 2005 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 20 (2):183-190.
     
    Export citation  
     
    Bookmark